gtk: Add private headers to EXTRA_DIST
authorRico Tzschichholz <ricotz@t-online.de>
Tue, 8 May 2012 07:16:51 +0000 (09:16 +0200)
committerRico Tzschichholz <ricotz@t-online.de>
Tue, 8 May 2012 07:16:51 +0000 (09:16 +0200)
This got lost with 985881ffcc315e20012a42dfba6cf5ab0046a92c

gtk/Makefile.am

index 34fc5f0308ce85b8d443834e1d1aa5146b177da6..dfa90ac36d4154592b748304862477dfb128a12e 100644 (file)
@@ -940,8 +940,9 @@ gtk_private_h_sources += $(gtk_use_quartz_private_h_sources)
 endif
 
 gtk_all_private_h_sources = \
+       $(gtk_private_h_sources) \
        $(gtk_use_x11_private_h_sources) \
-        $(gtk_use_win32_private_h_sources) \
+       $(gtk_use_win32_private_h_sources) \
        $(gtk_use_quartz_private_h_sources)
 
 if !USE_X11